<html><title>Fig2TestCloseRoomFails</title><body>
<h1><a href="Fig2TestCloseRoomFails.html">Fig2TestCloseRoomFails</a></h1>
<h2>A room can't be removed if someone is in it</h2>
<table border cellspacing=0 cellpadding=3>
<tr><td> ChatStart </td></tr>
</table>
<br>
<table border cellspacing=0 cellpadding=3>
<tr><td><i>connect user</i></td><td>anna</td></tr>
</table>
<br>
<table border cellspacing=0 cellpadding=3>
<tr><td><i>user</i></td><td>anna</td><td><i>creates</i></td><td>lotr</td><td><i>room</i></td></tr>
</table>
<br>
<table border cellspacing=0 cellpadding=3>
<tr><td><i>user</i></td><td>anna</td><td><i>enters</i></td><td>lotr</td><td><i>room</i></td></tr>
<tr><td>reject</td><td><i>remove</i></td><td>lotr</td><td ColSpan=2><i>room</i></td></tr>
</table>
<br>
<table border cellspacing=0 cellpadding=3>
<tr><td><i>user</i></td><td>anna</td><td><i>leaves</i></td><td>lotr</td><td><i>room</i></td></tr>
<tr><td><i>remove</i></td><td>lotr</td><td ColSpan=3><i>room</i></td></tr>
</table>
</body></html>
